Fix #760