Correct phpdoc namespace for Closure