fix #4163