Issue #2519 was fixed.