[dev-context] Typo in core-reg.tex?