Fix formatting problems introduced in 44fe31c7.