fix #4137