Fix an incorrect comment in Registration.cs, and pick a few small code style nits.