reformat to please Travis