fix #3515: crash in about