Clarified some concepts and fixed formatting.