Commit 234a74b6e82b5ddbf7bc4aafa2fb3ce5a0b7c3f3

Bruno Haible 2007-06-11T22:24:31

Fix small mistake, reported by Eric Blake.