Fixed texinfo5 strictness bugs