another nit about std::<space>string being used here