fix #4059