Fix #800