Fix #708