From 0051de7db939711fa8aba9d26a319f7f13b0606d Mon Sep 17 00:00:00 2001
From: Oliver Bock <oliver.bock@aei.mpg.de>
Date: Tue, 22 Sep 2015 12:18:48 +0000
Subject: [PATCH] Fix case typo

---
 html/inc/prefs.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/inc/prefs.inc b/html/inc/prefs.inc
index 305c5c62e5..faf8b164a5 100644
--- a/html/inc/prefs.inc
+++ b/html/inc/prefs.inc
@@ -475,7 +475,7 @@ function prefs_show_global($prefs) {
 }
 
 function subset_name($subset) {
-    if ($subset == "global") return tra("computing");
+    if ($subset == "global") return tra("Computing");
     return PROJECT;
 }