fix #1241