Fix #1972.