Minor: Added auxiliary method to RegistrationProtocol.