Quick bug fix for issue #256
Merge pull request #258 from arthurbenemann/BugFix_issue256

Quick bug fix for issue #256