fixes issue #742