Fixes issue #261.