WIP: fixing PDF output