Fixed broken formatting in a few docs.