minor changes to about.html