Fix broken CHECK lines.