Fix formatting

and this