Try to fix PDF build of documentation.