Style fixup

Was meant to be part of previous merge