Syntax tweak for Travis