Semicolon insertion