Ah! I really need to get more sleep between work sessions.
I actually did do it correctly. However I had opened, updated and uploaded the copy of the users_company.php file instead of the actual file we are seeing online. I'll take from this that I at least figured out how to make it work and ignore the fact I didn't catch the file name until now.