Add a few more concurrency annotations.