fix #845