Do we need the `global` subsection? (Empirically, things seem to work without it.)