Fix #1392