Other formatting fix

Woops.