Fixed up a little docstring formatting, tested fault-tolerant simulations (can't remember whether I had to change anythin)