diff --git a/Makefile b/Makefile
index 1a4698f74..28334f47e 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,6 @@
 CC   := gcc
 CXX  := g++
 LD   := g++
-CP   := cp
 
 PROG := abc
 
@@ -40,7 +39,7 @@ OPTFLAGS  := -g -O #-DABC_NAMESPACE=xxx
 CFLAGS   += -Wall -Wno-unused-function $(OPTFLAGS) $(ARCHFLAGS) -I$(PWD)/src
 
 #ifeq ($(shell $(CC) -dumpversion | awk '{FS="."; print ($$1>=4 && $$2>=6)}'),1)
-# Set -Wno-unused-bug-set-variable for GCC 4.6.0 and greater only
+# Set -Wno-unused-but-set-variable for GCC 4.6.0 and greater only
 CFLAGS += -Wno-unused-but-set-variable
 #endif
 
diff --git a/src/bdd/cudd/cuddSymmetry.c b/src/bdd/cudd/cuddSymmetry.c
index 76a9611c8..5813f123c 100644
--- a/src/bdd/cudd/cuddSymmetry.c
+++ b/src/bdd/cudd/cuddSymmetry.c
@@ -1558,7 +1558,7 @@ ddSymmGroupMoveBackward(
   int  x,
   int  y)
 {
-    int size;
+    int size = -1;
     int i,j;
     int xtop,xbot,xsize,ytop,ybot,ysize,newxtop;
 
diff --git a/src/bdd/cudd/cuddZddSymm.c b/src/bdd/cudd/cuddZddSymm.c
index 652548e43..bdc5e6560 100644
--- a/src/bdd/cudd/cuddZddSymm.c
+++ b/src/bdd/cudd/cuddZddSymm.c
@@ -1590,7 +1590,7 @@ zdd_group_move_backward(
   int  x,
   int  y)
 {
-    int        size;
+    int        size = -1;
     int        i, temp, gxtop, gxbot, gybot, yprev;
 
 #ifdef DD_DEBUG