Small bugfix on about.html