Fix for push-branch-to()