fix Registry.php namespace bug