minor editorial fixes