Issue #2545 was fixed.