Fix #772