editorial improvements (#442)