fixes #9657

BTW, I make the same kind of comments about my own code.
fixes #9657
Don't particularly mind that.