Misprint correction in about_java