minor editorial corrections