Commit 6d350bca61096fb8af3956bbaac063300aabb6a6

Bruno Haible 2016-12-04T20:00:06

Update comments.