Some clarifications added.