fix PDF treatment hopefully for the last time...