note fixes for texinfo-5