Properly formatted travis file