What is this @contextmanager doing?