minor summary.html changes to fix a bothersome chevron