Small typos and meaning refactoring