Fixing typos in doc