Small fixes to Travis config