diff --git a/BUGS b/BUGS
index fc7db8b7..9becec66 100644
--- a/BUGS
+++ b/BUGS
@@ -1,6 +1,5 @@
 - wmaker will not stop managing a screen even if another window manager
   requests that, through the ICCCM 2.0 manager selection stuff
-- the app menu does not update after a style/theme change without restart.
 - stacking code is buggy (or XFree is buggy)
 - after restart focus is losed or switched to another window. May be related
   to the one above.
diff --git a/WINGs/userdefaults.c b/WINGs/userdefaults.c
index ec0577a2..47db9abe 100644
--- a/WINGs/userdefaults.c
+++ b/WINGs/userdefaults.c
@@ -177,9 +177,10 @@ WMSynchronizeUserDefaults(WMUserDefaults *database)
     if (stat(path, &stbuf) >= 0 && stbuf.st_mtime > database->timestamp)
         fileIsNewer = True;
 
-    /*printf("syncing: %s %d %d\n", path, database->dirty, fileIsNewer);*/
-
     if (database->appDomain && (database->dirty || fileIsNewer)) {
+
+        /*fprintf(stderr, "syncing: %s %d %d\n", path, database->dirty, fileIsNewer);*/
+
         PLShallowSynchronize(database->appDomain);
         database->dirty = 0;
         if (stat(path, &stbuf) >= 0)