Fix #754