fixes to phpdocs