fix #1920