increased release number, updated names on PDF, fixed bug