fix #3691