fix #4422