The Running section says macro.check takes `output`, but the macro.check signature further down left it out. It now lists `output?`, and says the reported output anchor is `output` when given.