fix #3937