Fixing some documentation errors