fix #1257