some corrections, filled in some proofs