Pedantic formatting