--- /usr/share/univention-management-console-frontend/js/umc/modules/_udm/DetailPage.js.orig	2012-02-10 12:05:09.000000000 +0100
+++ /usr/share/univention-management-console-frontend/js/umc/modules/_udm/DetailPage.js	2012-02-10 12:10:01.000000000 +0100
@@ -1054,7 +1054,7 @@
 		var nChanges = 0;
 		var regKey = /\$.*\$/;
 		umc.tools.forIn(vals, function(ikey) {
-			if (!regKey.test(ikey)) {
+			if (!regKey.test(ikey) || ikey == '$options$') {
 				// key does not start and end with '$' and is thus a regular key
 				++nChanges;
 			}