Minor change of presentation.