diff --git a/build_num b/build_num
index 2519f339b..6d5f183a8 100644
--- a/build_num
+++ b/build_num
@@ -1 +1 @@
-#define BUILD_NUM 3213
+#define BUILD_NUM 3214
diff --git a/src/gui/ObjectManipulator.cpp b/src/gui/ObjectManipulator.cpp
index e64c47829..ff3502ea3 100644
--- a/src/gui/ObjectManipulator.cpp
+++ b/src/gui/ObjectManipulator.cpp
@@ -864,6 +864,7 @@ void ObjectManipulator::getMenuState(bool haveMoveTargets,
         copyMenuItem = copyMenuItem && FWBTree().getCopyMenuState(object_path);
         pasteMenuItem = pasteMenuItem &&
             FWBTree().getPasteMenuState(object_path) &&
+            FWObjectClipboard::obj_clipboard &&
             (FWObjectClipboard::obj_clipboard->size()!=0);
         delMenuItem = delMenuItem && getDeleteMenuState(obj);
         delMenuItem = delMenuItem && current_library != NULL &&