Minor changes and clarifications.