fix for issue #93