Commit 803e1619e6cf778ca93baaa96b013dfc9f9bd8aa

Bruno Haible 2008-06-05T00:56:52

Fix small mistake from 2008-06-01.