Another formatting tweak

Tweaking the formatting again :)