fix #1013