[FIX] QuickFix #9 : no docs listed in pdf