minor changes and clarifications