Fixup to r186268 and r186269: don't append -LABEL to CHECK-NOT. No functionality change.