minor editorial updates