fix #1253