Fixing phpdoc