add missing ScopedTypeVariables