Qian Qianli name change

https://hkmdb.com/db/people/view.mhtml? ... ay_set=eng
His Chinese name is currently 錢千裡. I imagine this is due to the fact he was added via a Mainland movie that uses simplified characters in the credits, and the editor assumed the 里 in his name was the 里 that is the simplified form of 裡, but he was regularly credited as 錢千里 before simplified characters were introduced. I've added 'as-credited' tags to the Chinese role names I could verify to support this. Any objections to changing his name to 錢千里?
His Chinese name is currently 錢千裡. I imagine this is due to the fact he was added via a Mainland movie that uses simplified characters in the credits, and the editor assumed the 里 in his name was the 里 that is the simplified form of 裡, but he was regularly credited as 錢千里 before simplified characters were introduced. I've added 'as-credited' tags to the Chinese role names I could verify to support this. Any objections to changing his name to 錢千里?