fix #878