fix #864