fix for issue #73