Fix #1219.