Minor corrections and clarifications.