Hm yeah, I'd probably have added it to the two providers where it's missing in that case so it's always present (i.e. as part of defining a CR).  Which you do is up to you and @isratrade :)