fixing pdf compilation bug