Clarify some documentation