Fix #716