Issue #2137 was fixed.