fix #745