fix #2072