Minor editorial nits

Minor editorial nits; ignore if you'd like @marcosc ;-)