More cosmetic changes in about.html