Fix #808