Minor changes in grammatics