Issue #2144 was fixed.