Minor clarifications to text