Commit 669dd0b03fbe47c640a60a9e67ff9de112fe2bd5

Bruno Haible 2008-05-22T00:58:27

Oops, fix syntax error introduced by last commit.