Fixing errors that seem to have been introduced by fixing a spelling error