Fix #805.