Spell check for abstract, intro, and smt motivation.