Update section_IR_spellingchecker.tex