Fix #1688.