Fix #845