fix phpdoc in Registry