Formatting and Travis Test