diff --git a/wrenchboard/src/shared_tool/account_mngt.cc b/wrenchboard/src/shared_tool/account_mngt.cc
index 10dd56c2..41601512 100644
--- a/wrenchboard/src/shared_tool/account_mngt.cc
+++ b/wrenchboard/src/shared_tool/account_mngt.cc
@@ -797,7 +797,7 @@ long WrenchAccountSettings( CVars in, CVars &out ){
     char vname[30];
     long ret = PHP_API_BAD_PARAM;
     const PGresult *res;
-    const PGresult *res;
+    const PGresult *res0;
 
     try {
         long member_id =  REQ_LONG(in, "member_id", 1, -1);