Updated a reference in the robodoc headers.