Merge pull request #1 from j-bo/j-bo-patch-673
authorj-bo <j-bo@users.noreply.github.com>
Tue, 27 Oct 2015 12:56:45 +0000 (13:56 +0100)
committerj-bo <j-bo@users.noreply.github.com>
Tue, 27 Oct 2015 12:56:45 +0000 (13:56 +0100)
Fix #673


Trivial merge