Line height too big in PDF. Fixes bug 1605