fix #3750