krivit Fixed an accidental markdown mangling.