fix #708