small tweak to about.html