Clarified some points in the documentation.