Issue #1711 was fixed.