little corrections in PDF