Yes, this really should be fixed, and it's being worked on
This document was generated on 8 May 1996 using the texi2html translator version 1.49.