specAlreadyRegistered now complete