fix some documentation errors