fix #847