fix #3653