Fixing lock_acquire's