diff --git a/configs/agda2-setup.el b/configs/agda2-setup.el
index 9815efa..81b9b22 100644
--- a/configs/agda2-setup.el
+++ b/configs/agda2-setup.el
@@ -1 +1,3 @@
-(load-file (shell-command-to-string "agda-mode locate"))
+(load-file (let ((coding-system-for-read 'utf-8))
+                (shell-command-to-string "agda-mode locate")))
+
diff --git a/configs/erlang-setup.el b/configs/erlang-setup.el
index 3691e45..9d88685 100644
--- a/configs/erlang-setup.el
+++ b/configs/erlang-setup.el
@@ -1,5 +1,3 @@
-
-
 (setq erlang-root-dir "/usr/local/lib/erlang")
 (setq tools-ver "2.6.6.5")
 (setq load-path (cons (concat erlang-root-dir "/lib/tools-" tools-ver "/emacs")
diff --git a/custom.el b/custom.el
index f901a8c..9a59d77 100644
--- a/custom.el
+++ b/custom.el
@@ -4,7 +4,6 @@
   ;; If you edit it by hand, you could mess it up, so be careful.
   ;; Your init file should contain only one such instance.
   ;; If there is more than one, they won't work right.
- '(agda2-highlight-face-groups (quote conor))
  '(agda2-include-dirs (quote ("." "/home/jlouis/lib/agda/src")))
  '(auto-compression-mode t nil (jka-compr))
  '(auto-image-file-mode t)
diff --git a/init.el b/init.el
index 0ecee5b..8039a82 100644
--- a/init.el
+++ b/init.el
@@ -87,3 +87,4 @@
 (put 'narrow-to-defun 'disabled nil)
 (put 'narrow-to-page 'disabled nil)
 (put 'narrow-to-region 'disabled nil)
+