fix #3418