minor additions and clarifications