Make text formatting more readable.

src/search.cpp

@@ -152,7 +152,7 @@ void cleanup_text(string &text)
             if (boost::regex_search(text.substr(pos, endpos).data(), match,
                                     re_pagebreak))
             {
-                replacement = "<PAGE " + match[2] + ">";
+                replacement = format("<PAGE {0:s}>", match[2].str());
             }
         }
         else if (text.substr(pos, 7) == "<style "