fix #825