fix #4110