fix #4004