fix #4022