Fixed error in phpdoc