fix #751