tree cbc7c4311042e6bf375dfa3fa1d670441fccf699
parent 028d12f4fb8182b0923e2151cf91410372066303
author Benno Schulenberg <bensberg@telfort.nl> 1509386928 +0100
committer Benno Schulenberg <bensberg@telfort.nl> 1509387142 +0100

tweaks: adjust two comments, and correct and a few cosmetic mistakes