Commit eb4a09dbdb2373566dfa30e7e7c5c196b005164d

Bruno Haible 2008-02-24T17:20:48

Documentation tweak, reported by Peter O'Gorman.