Add small cosmetic changes in text and fix a few typos