Fixups to registration receipt docs