This fixes issue #6