Bug in many .texi files

Many of our Texinfo files have file cross-references of the following form: *Note Sexp Types: (widget)Sexp Types, for information about widgets to use with the `:type' keyword. When you try to follow this cross reference, you get a error: No such node: Sexp Types, for information about widgets to use with the `:type' keyword -- University of Tsukuba Tennodai 1-1-1 Tsukuba 305-8573 JAPAN Institute of Policy and Planning Sciences Tel/fax: +81 (298) 53-5091 _________________ _________________ _________________ _________________ What are those straight lines for? "XEmacs rules."