Tiny grammar fixups