Changed travis formatting (again)