fix some small documentation errors