Update documentation in `run.h`.