Minimize some line overflow issues in the PDF version of the User Manual