Issue #2124 was fixed.