Fix #847