Commit ecfc0f17f65aad72964c7be30a9e71246d3177e8

Bruno Haible 2003-05-07T19:50:26

Fix small mistakes.