Fix #1713.