this fixes issue #250