minor fix on html