Issue #2566 was fixed.