fix #803