Minor changes, clarification