Some tweaks to the ML grammar.