diff --git a/tools/dev/vagrant/ansible/roles/mininet/tasks/main.yml b/tools/dev/vagrant/ansible/roles/mininet/tasks/main.yml
index 105cbc4..0ed5b4c 100644
--- a/tools/dev/vagrant/ansible/roles/mininet/tasks/main.yml
+++ b/tools/dev/vagrant/ansible/roles/mininet/tasks/main.yml
@@ -1,11 +1,11 @@
-- name: git is present
-  apt:
-    name: git
-    force: yes
-  tags: [common]
-
-- name: Clone mininet repository
+---
+#
+# Clones the Mininet repository and does a full Mininet installation, including Wireshark
+#
+- name: Cloning the mininet repository
   git: repo=https://github.com/mininet/mininet.git dest=mininet
+  become: true
+  become_user: ubuntu
 
-- name: Install mininet
-  command: mininet/util/install.sh -a
+- name: Installing mininet
+  command: mininet/util/install.sh -a
\ No newline at end of file