fix type in about.html