Another one small fix to Travis