diff --git a/include/boost/phoenix/core/argument.hpp b/include/boost/phoenix/core/argument.hpp
index b9441eb..5cdfc5a 100644
--- a/include/boost/phoenix/core/argument.hpp
+++ b/include/boost/phoenix/core/argument.hpp
@@ -51,9 +51,10 @@ namespace boost { namespace phoenix
 
         template <typename Env, typename N>
         typename result_of::argument<Env, N>::type
-        operator()(Env& env, N const& n) const
+        operator()(Env& env, N const&) const
         {
-            return get_environment_argument()(env, eval(n));
+            typedef typename boost::result_of<eval_grammar(N)>::type argument_id;
+            return get_environment_argument_c<argument_id::value>(env);
         }
     };
     
diff --git a/include/boost/phoenix/scope/lambda.hpp b/include/boost/phoenix/scope/lambda.hpp
index 021aa69..7231cb2 100644
--- a/include/boost/phoenix/scope/lambda.hpp
+++ b/include/boost/phoenix/scope/lambda.hpp
@@ -13,6 +13,7 @@
 #include <boost/fusion/include/as_vector.hpp>
 #include <boost/phoenix/core/limits.hpp>
 #include <boost/phoenix/scope/scoped_environment.hpp>
+#include <boost/phoenix/core/actor.hpp>
 #include <boost/phoenix/scope/local_actor.hpp>
 #include <boost/phoenix/scope/detail/local_variable.hpp>
 #include <boost/phoenix/support/element_at.hpp>
diff --git a/include/boost/phoenix/scope/scoped_environment.hpp b/include/boost/phoenix/scope/scoped_environment.hpp
index 1d66d1a..2f62d9d 100644
--- a/include/boost/phoenix/scope/scoped_environment.hpp
+++ b/include/boost/phoenix/scope/scoped_environment.hpp
@@ -45,12 +45,16 @@ namespace boost { namespace phoenix
     }
 
     // overload get_environment_argument_c to return the correct argument
-    template <int N, typename Env>
-    typename boost::enable_if<
-        is_scoped_environment<Env>
-      , typename result_of::get_environment_argument<Env, mpl::int_<N> >::type
-    >::type
-    get_environment_argument_c(Env& env)
+    template <int N, typename Env, typename OuterEnv, typename Locals, typename Map>
+	 typename result_of::get_environment_argument<scoped_environment<Env, OuterEnv, Locals, Map>, mpl::int_<N> >::type
+    get_environment_argument_c(scoped_environment<Env, OuterEnv, Locals, Map>& env)
+    {
+        return fusion::at_c<N>(env.env);
+    }
+    
+	 template <int N, typename Env, typename OuterEnv, typename Locals, typename Map>
+	 typename result_of::get_environment_argument<scoped_environment<Env, OuterEnv, Locals, Map>, mpl::int_<N> >::type
+    get_environment_argument_c(scoped_environment<Env, OuterEnv, Locals, Map> const& env)
     {
         return fusion::at_c<N>(env.env);
     }