fix #1157