Yeah this is weird, but harmless. This is also from upstream code, so my preference again would be to avoid altering it since it doesn't cause any issue. Agreed?