Reindent summary range.html