Fix #1413