pushRemote value not updated on git remote rename

Hi, 

with git version 2.16.3 on mac os x, (fink installed) I did

``` $ git remote rename origin monfork ```

Then I checked .git/config, all was fine but for

```
[branch "master"]
	pushRemote = origin
	remote = upstream
	merge = refs/heads/master
```

Shouldn't "origin" have been changed into "monfork" ?

Apologies if this is due to outdated git, did not check,

Best,

Jean-François