diff --git a/arangod/Agency/FailedLeader.cpp b/arangod/Agency/FailedLeader.cpp
index 72ec29c797..f8da63c59d 100644
--- a/arangod/Agency/FailedLeader.cpp
+++ b/arangod/Agency/FailedLeader.cpp
@@ -114,7 +114,7 @@ bool FailedLeader::start() const {
   todo.openArray();
   try {
     _snapshot(toDoPrefix + _jobId).toBuilder(todo);
-  } catch (std::exception const& e) {
+  } catch (std::exception const&) {
     LOG_TOPIC(INFO, Logger::AGENCY) <<
       "Failed to get key " + toDoPrefix + _jobId + " from agency snapshot";
     return false;
diff --git a/arangod/Agency/FailedServer.cpp b/arangod/Agency/FailedServer.cpp
index b16617d5a2..2ec854487b 100644
--- a/arangod/Agency/FailedServer.cpp
+++ b/arangod/Agency/FailedServer.cpp
@@ -64,7 +64,7 @@ bool FailedServer::start() const {
   todo.openArray();
   try {
     _snapshot(toDoPrefix + _jobId).toBuilder(todo);
-  } catch (std::exception const& e) {
+  } catch (std::exception const&) {
     LOG_TOPIC(INFO, Logger::AGENCY) <<
       "Failed to get key " + toDoPrefix + _jobId + " from agency snapshot";
     return false;
diff --git a/arangod/Agency/Node.cpp b/arangod/Agency/Node.cpp
index e4536d41c0..a36eb3371f 100644
--- a/arangod/Agency/Node.cpp
+++ b/arangod/Agency/Node.cpp
@@ -617,7 +617,7 @@ int Node::getInt() const {
   if (type() == NODE) {
     throw StoreException("Must not convert NODE type to int");
   }
-  return slice().getInt();
+  return static_cast<int>(slice().getInt());
   
 }
 
diff --git a/arangod/Agency/Supervision.cpp b/arangod/Agency/Supervision.cpp
index ae5d6352bc..4140f59795 100644
--- a/arangod/Agency/Supervision.cpp
+++ b/arangod/Agency/Supervision.cpp
@@ -265,7 +265,7 @@ void Supervision::getUniqueIds() {
     try {
       latestId = std::stoul(
           _agent->readDB().get(_agencyPrefix + "/Sync/LatestID").slice().toJson());
-    } catch (std::exception const& e) {
+    } catch (std::exception const&) {
       std::this_thread::sleep_for (std::chrono::seconds(1));
       continue;
     }