fix for issue #3.