Issue #2516 was fixed.