fix #3739