Small typos and formatting fixes