fix #747