minor edit on html