Fixes issue #269.