fix up travis instructions