Fix #807