small typo fixes and cosmetic changes