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