Fix #1217