minor fix to Travis configuration