Small typos due to the automatic refactoring.