diff --git a/settings/js/users/filter.js b/settings/js/users/filter.js
index bd3473d0e4d98ff2c25c516d33208f6dcabd5c84..1f7a29de0c99775dba03ad1a1649b74badf87375 100644
--- a/settings/js/users/filter.js
+++ b/settings/js/users/filter.js
@@ -53,7 +53,6 @@ UserManagementFilter.prototype.init = function() {
  * taken care of
  */
 UserManagementFilter.prototype.run = _.debounce(function() {
-		console.log(this);
 		this.userList.empty();
 		this.userList.update(GroupList.getCurrentGID());
 		this.groupList.empty();