A few fixups for the registration content