Hm, thinking about it, actually highlighting the difference to `args[0]` might be a good idea.