Fixed Anmol's comments in two quasi-linear proofs