Fix for install-info in non-English locales (tiny change)