fixes issue #12