Minor tidying, to verify new build
Merge pull request #919 from debrief/verify_travis_PDF

Minor tidying, to verify new build