Minor fix + update of PDF