Sharing: change $global into $global_options

Forgot one in d65cb41608a5b75eac189c6f4510925f5eb8da93, oops.