FIX some typos in documentation