Issue #2931 was fixed.