The cross-references here are done wrong so that the defsystem grammar does not display properly in Info. For example:
Pay particular attention to the bottom three lines.