Formatting changes to make Travis happy.