small change for issue #7