Correct some docs about locking