fixes #9657

BTW, I make the same kind of comments about my own code.
fixes #9657