Fixes issue #257.