Small fix for double-check locking