Minor changes and clarifications