rephrase the bit about the font problems in PDF and make it smaller