Some actual code! The autocorrector.