fixed documentation for texinfo 5