redundant doc like this is my pet peeve. For limited use here I'm not sure it really hurts.