fix some documentation