Minor edit: formatting.