Pedantic formatting changes