fix #875