fixes issue#4