Merge pull request #66 from whot/master
authorRan Benita <ran234@gmail.com>
Wed, 1 Aug 2018 09:25:18 +0000 (12:25 +0300)
committerGitHub <noreply@github.com>
Wed, 1 Aug 2018 09:25:18 +0000 (12:25 +0300)
Coverity fixes (one real bug)


Trivial merge