Small fix for pdf output