fix #1131