fix for texinfo 5.1
fix for texinfo 5.1

Signed-off-by: Ken Dreyer <142a69126f0cc51837e1050cd02f1ee87bca555b@ktdreyer.com>

madscientist159/heimdal,madscientist159/heimdal,madscientist159/heimdal,madscientist159/heimdal,madscientist159/heimdal,madscientist159/heimdal,madscientist159/heimdal