Correcting minor typos found by Jenkins Spell Checker