Fix #804