fix #3765