1 files changed, 2 insertions, 2 deletions
diff --git a/session.cc b/session.cc
index 407f6176..c022696a 100644
--- a/session.cc
+++ b/session.cc
@@ -292,8 +292,8 @@ expr_t::ptr_op_t session_t::lookup(const string& name)
   const char * p = name.c_str();
   switch (*p) {
   case 'o':
-    if (std::strncmp(p, "option_", 7) == 0) {
-      p = p + 7;
+    if (std::strncmp(p, "opt_", 4) == 0) {
+      p = p + 4;
       switch (*p) {
       case 'd':
 	if (std::strcmp(p, "debug_") == 0)