Fixes issue #143.