fix #813