Fix error in texinfo introduced in 9712f4ab.