Clarifications and typo fixes