travis tweaks for better coverage