bad copy-paste, detected by KOIZUMI Satoru (https://savannah.gnu.org/bugs/?43889)