os: correct type of scopeid