Issue #2539 was fixed.