added <string> header