Fix #834