Small typo fixes, and reducing the font size