fix for issue #4