Small tweak to formatting