Fix #1278