possible fix for issue #80

fixes #80