Fix one forgotten comment