fix #793