fix #2071