tweaks for travis