A (smaller) comment should say that.