fix https://savannah.gnu.org/bugs/index.php?39189