fix #693