a fix for issue #9