Fixing some of Alan's typos