It's a small change; should I rename the branch for PR approval? Or is it ok for now?