Doc comment for an attribute?