Issue #1633 was fixed.