fix https://savannah.gnu.org/task/index.php?13288