Necessary to put things together nicely in hotdoc.