a fix for issue #4.