sf #1009373, #1005936. fix underscores in index entries in PDF files.

I couldn't test this, but it didn't break anything and the patch
reported fixed the problem.

Bugfix candidate.