Minor changes.
Minor improvements on concurrency slides.