Semicolon+space now actually inserts a semicolon and a space (i.e. doesn't do ';;')