Minor disagreements, then resolved nicely.