Minor clarifications and reordering