Update usage information according to GRMLBASE