Fixes issue #177.