Fixes issue #77.