Little edits and clarifications