Reducing and expunging proofs of debt and dealing with dividend overpayments