Hotfix for issue #12

fixes issue #12