Fixed phpdoc

nothing special, just a phpdoc fix