fix a few minor phpdocs issues