add rounding

src/about.py

@@ -25,7 +25,7 @@ TITLE = """<h1 align="center" id="space-title">InstruSumEval leaderboard</h1>"""
 
 # What does your leaderboard evaluate?
 INTRODUCTION_TEXT = """
-# This leaderboard evaluates the *evaluation* capabilities of language models on the InstruSum benchmark.
+## This leaderboard evaluates the *evaluation* capabilities of language models on the InstruSum benchmark.
 """
 
 # Which evaluations are you running? how can people reproduce what you have?