minor edits to about.html