Merge pull request #641 from tklam/master
authorClifford Wolf <clifford@clifford.at>
Wed, 17 Oct 2018 10:15:14 +0000 (12:15 +0200)
committerGitHub <noreply@github.com>
Wed, 17 Oct 2018 10:15:14 +0000 (12:15 +0200)
Fix issue #639


Trivial merge