Fix documentation on peek_lock, which had incorrect default value.