fix #763