It's a shame that some of the people on here, like your good self, were not in the employee of Lucasfilm for when they did their releases - there would be hardly anything mistakes to notice - let alone very small errors like you just informed us of above - that the majority of us would never have noticed anyway.
I'm still off going toget my eyes checked anyway