I agree that it should already be locked at this point, but I like the explicit lock call as a defensive measure here, juuuust in case the caller hasn't acquired the lock.