fix a bug in SctmEnv