They were Acorn at that point. That's why the CPU was called Acorn RISC Machine (singular). There was never any company called "Acorn RISC Machines".