Fix PHPdocs messages