More tweaks to try to get LaTeX PDF right.