fix #613