Fix formatting in doc