JulienGAMartin fix some small problems for generting manual in pdf