syntax.html: remove an extra '</a>'