Minor clean-up across abstract -> section 3