A tiny bit of code format cleanup.