Fix the comment to match reality

Thanks to Thomas Lübking in review #110653.