Bug in PDF generation of built-in theme

I just noticed i get print errors when i used a theme. But the printing was smooth when i reverted to the old theme (Black and White)

Also there is a small change if i view the document in PDF

compare

I was able to reproduce @Abeiku’s error, @lubos. But it only seems to occur for the built-in green theme, not red, blue, or old style.

I separated this bug discussion from its original thread for visibility.

By version 16.12.15, this problem seems to have been fixed. I am removing it from the Bugs category.