fix formatting in the doc