fixes issue #745