Minor style tweak in metrics page.