Fix formatting in documentation