Make SimplEnv warning-free