fix some minor incorrect documentation