fix #732