I think we should have both - your's is more proper, what we have now is a more easily understood example :)