issue #4693: correct comment