fix #13

This fixes issue #13