Clarified some documentation