Fix #1412