Fixes issue #202.