Fix formatting

Tiny fix.