Fix #769.