Fix #769