fixes issue #755