diff --git a/db.hs b/db.hs
index 605bb3564..54f0466f4 100755
--- a/db.hs
+++ b/db.hs
@@ -69,7 +69,7 @@ fillDb = do
     , userEmail  = "G.Kleen@campus.lmu.de"
     , userDisplayName = "Gregor Kleen"
     , userMaxFavourites = 6
-    , userTheme = Default
+    , userTheme = ThemeDefault
     , userDateTimeFormat = userDefaultDateTimeFormat
     , userDateFormat = userDefaultDateFormat
     , userTimeFormat = userDefaultTimeFormat
@@ -82,7 +82,7 @@ fillDb = do
     , userEmail  = "felix.hamann@campus.lmu.de"
     , userDisplayName = "Felix Hamann"
     , userMaxFavourites = userDefaultMaxFavourites
-    , userTheme = Default
+    , userTheme = ThemeDefault
     , userDateTimeFormat = userDefaultDateTimeFormat
     , userDateFormat = userDefaultDateFormat
     , userTimeFormat = userDefaultTimeFormat
@@ -95,7 +95,7 @@ fillDb = do
     , userEmail  = "jost@tcs.ifi.lmu.de"
     , userDisplayName = "Steffen Jost"
     , userMaxFavourites = 14
-    , userTheme = MossGreen
+    , userTheme = ThemeMossGreen
     , userDateTimeFormat = userDefaultDateTimeFormat
     , userDateFormat = userDefaultDateFormat
     , userTimeFormat = userDefaultTimeFormat
@@ -108,7 +108,7 @@ fillDb = do
     , userEmail  = "max@campus.lmu.de"
     , userDisplayName = "Max Musterstudent"
     , userMaxFavourites = 7
-    , userTheme = AberdeenReds
+    , userTheme = ThemeAberdeenReds
     , userDateTimeFormat = userDefaultDateTimeFormat
     , userDateFormat = userDefaultDateFormat
     , userTimeFormat = userDefaultTimeFormat