small tweak for travis