Fixes issue #10

This fixes issue #10.