fix formatting in documentation.pdf