more fixes to about.html