minor: prev travis tweak had a bug