minor change in about.html