Just semicolon insertion