Oh, I looked at the wrong comment!
You are right, I'll change this.