Fixed formatting to please Travis' complaints