Minor changes for the sake of presentation.