Fix #638