Hopefully fixing Travis spurious failures.