pull fix for issue#71