Fix #1923 active `shared_lock` option