fixes issue #722