Issue #2841 was fixed.