Updated documentation following Window's implementation of lock()/unlock()