Misc things, turning on Travis