Fix #748