fix up the reddit proofs some more

basically bug-fixed at this point