Some minor fixes to the language syntax