fix PHPdoc