Yeah, I vote for keeping them {Magus} instead of Magus. A lot more people are probably going to say "what the hell, I thought I changed his name" instead of "why, that's not accurate according to the Japanese version which uses 'Demon King Magus' merely as his title."