Merge pull request #1952 from ktsaou/master
authorCosta Tsaousis <costa@tsaousis.gr>
Thu, 16 Mar 2017 18:18:42 +0000 (20:18 +0200)
committerGitHub <noreply@github.com>
Thu, 16 Mar 2017 18:18:42 +0000 (20:18 +0200)
minor fixes


Trivial merge