fix formatting

This is really easy.... :-)