Fix #833