Fix formatting

This is a fixup for !28 (merged).

I am sorry, I don't know why this file did not get formatted.

requested review from @b382190

merged

mentioned in commit df9f8488

mentioned in merge request !32 (merged)