While it might be exactly the same, a noobie user probably wouldn't even know that, and the cost of adding one more small icon is minimal.. ;)

Way too many people take way too many things way too seriously.