Fixed small typos in text; no code changed