Clarifying some documentation