fix #2142