Fix #1376.