remove : in machine definitions, terminate all toplevel elements with ;