Formatting (once more)

Grr...