fix #4314