Reverted formatting changes made by the travis tool