CS fixes
Travis tweaks