Index: options.php
===================================================================
--- options.php	(revision 3239)
+++ options.php	(working copy)
@@ -30,10 +30,10 @@
 	$any_changed = 0;
 	
 	check_admin_referer();
-    
+
 	if (!$_POST['page_options']) {
 		foreach ($_POST as $key => $value) {
-			$options[] = "'$key'";
+			$options[] = $key;
 		}
 	} else {
 		$options = explode(',', stripslashes($_POST['page_options']));