Some Travis CI diagnostics tweaks.