Issue #2825 was fixed.