Change some comments after d2c0f01 (related to issue 7285)