Fix nasty formatting