Fixes issue #4.