Fix formatting

I keep forgetting these rules ...