Small fixes in typos