Fix #1292.