Fix word order in documentation for with_lock