Fix for makeinfo.