fix #4152