Small correction/clarification