I think this is missing the ending triple-tick. You may also want to run this through `make check-stage1-doc-extra`, to make sure this passes the tests. I think that this will need to import `Barrier` from `extra::sync`.