small refactorings on html