BUGFIX -- stoi: should move the pointer along the way ...