diff --git a/eudc.el b/eudc.el
index 53af5e2d5c832246bef06dd720dd8c7cc08e5665_ZXVkYy5lbA==..6287ef5573db463da8619840d796673e2bfafa69_ZXVkYy5lbA== 100644
--- a/eudc.el
+++ b/eudc.el
@@ -1166,6 +1166,8 @@
 		      (throw 'found t)))))))
       (if (eq (point-min) (point-max))
 	  (princ ";; This file was automatically generated by eudc.el\n\n"))
+      (if (not provide-p)
+	  (princ "(provide 'eudc-options-file)\n"))
       (if (not (bolp))
 	  (princ "\n"))
       (princ "(eudc-set-server ")
@@ -1176,8 +1178,6 @@
       (princ "(setq eudc-server-hotlist '")
       (prin1 eudc-server-hotlist)
       (princ ")\n")
-      (if (not provide-p)
-	  (princ "(provide 'eudc-options-file)\n"))
       (save-buffer))))
 
 (defun eudc-insert-record-at-point-into-bbdb ()