fix #1871