fix #4001