Add a doc line to the prelude