Minor phpdoc fix