Added editorial accidental corrections.