Fixing some small documentation errors