fix #4133