Yeah it should be. Typing and deleting \int doesn't work.