I have no idea whether it's more correct to do so or not tbh… do you have any compelling argument either way?