fix log calls
authorChristian Grothoff <christian@grothoff.org>
Wed, 25 Jan 2017 21:38:21 +0000 (22:38 +0100)
committerChristian Grothoff <christian@grothoff.org>
Wed, 25 Jan 2017 21:38:25 +0000 (22:38 +0100)

Trivial merge