Issue #2832 was fixed.