fix #3413