Fix travis formatting