Fix minor formatting, correct some wording under the "Error recovery" section.