Typo fix in SLQC proof.