minor tweak for travis setup