Make phpdoc happy