Fix https://gna.org/bugs/index.php?23065