Fix comment that broke 7572eebcd