Some further clarifications and typo fixes.