Fix formatting in user docs