Why do we need to escape to the top-level namespace here?