Fix warning, reported by Bruno Haible <bruno@clisp.org> and patch by Paul Eggert <eggert@CS.UCLA.EDU>.