Fix #843