minor fixes on htm file