Fix #752