cosmetic changes and typos