Cleanup a phpdoc error, see #3