Editorial change.
Small fixes.