Fix #732