A few corrections in about.html