Fix #763