Fixing PHPdocs