clarifications and typos