fix #1071