fixed a phpdoc comment