Fix typo in 939fe6c827a691c

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>