Clarifications and typos