// Skip any spaces after the colon.
do {
++split;
- } while (split < lines[i].size() && lines[i][split] == ' ');
+ } while (split < lines[i].size() && (lines[i][split] == ' ' || lines[i][split] == '\t'));
string value(lines[i].begin() + split, lines[i].end());