bug: pdf missing?