Fixup for wiki formatting in functors.wiki.