Issue #2381 was fixed.