Fixes issue #174.