Minor clarifications made.