sml-mode screws up if ; is left out