I agree that std::st:string is a more "standard way" of doing it. But IMHO since I also have to do it the other way 
around (line 634) I think it's a better idiom to use the same thing in both places. As I said, it's just a coding style thing. If you feel strongly against this I can change it, no problem.