minor fix to a duplication in an html template