Slight modifications and clarifications.