Minor PHPDOC fix.