Fixing typos in docs etc.