Fix #1258