Fix #829