Fix #842