Fix PHPdoc