Update RegistrationManager.php