corrections and additions to Fault tolerance