proposed fix to issue #3