fix #1142