Commit aeb898d88cddc17cefc7738940b4917e9ee27933

Bruno Haible 2010-03-25T07:48:14

Minor formatting changes.