minor editorial nits