fix for issue #94