Fixing documentation typos