Issue #2828 was fixed.