fixes issue #699