Fixing formatting in documentation