Fix doc for PDF build