make this line the same length as the title (otherwise the doc generator will complain)