fix #3515: exception in about