Fix texinfo typo in my previous change.