Clarifications and minor edits