fix #735