fixes issue #32)