Fix comment that was obsoleted by r216949