Fixed some typos and formatting in the postmortem