diff --git a/lang/en_utf8/hotpot.php b/lang/en_utf8/hotpot.php
index f23a8f0ddce..92778285bd9 100644
--- a/lang/en_utf8/hotpot.php
+++ b/lang/en_utf8/hotpot.php
@@ -114,6 +114,8 @@ $string['reportbutton'] = 'Generate report';
 $string['thiscourse'] = 'This course';
 $string['allmycourses'] = 'All my courses';
 
+$string['allusers'] = 'All users';
+
 $string['attemptsall'] = 'All attempts';
 $string['attemptsbest'] = 'Best attempt';
 $string['attemptsfirst'] = 'First attempt';