Minor clarifications to meaning