minor typo regarding issue #7