fix #4173