fixes issue #12 .