Minor improvements

Signed-off-by: Aaron Erhardt <aaron.erhardt@t-online.de>
1 job for master in 1 minute and 56 seconds (queued for 2 seconds)
latest
Status Name Job ID Coverage
  Build
passed build_pdf #1409

00:01:56