Fixes issue #165.