small phpdoc change