Fix some CHECK lines which were ignored by accident.