Tidying up Travis file