Broken phpdoc