ML bug fixes - SML operates differently to MoscowML