Make Travis' day: formatting changes