fix #1137