fixes issue #193.