fix #802