fix #3889