Some more minor editorial things.