fix #727