Fixes issue #262.