diff --git a/emacs/.emacs b/emacs/.emacs
index 077cee1..509875a 100644
--- a/emacs/.emacs
+++ b/emacs/.emacs
@@ -260,27 +260,27 @@
 (use-package ivy
   :ensure t
   :demand t
-  :config (progn
-            (ivy-mode 1)
-            (setq ivy-use-virtual-buffers t)
-            (setq ivy-count-format "(%d/%d) ")
-            (advice-add 'imenu :before 'my/save-imenu-jump)
-            (define-key ivy-minibuffer-map (kbd "<C-return>") 'ivy-immediate-done)))
+  :config
+  (ivy-mode 1)
+  (setq ivy-use-virtual-buffers t)
+  (setq ivy-count-format "(%d/%d) ")
+  (advice-add 'imenu :before 'my/save-imenu-jump)
+  (define-key ivy-minibuffer-map (kbd "<C-return>") 'ivy-immediate-done))
 
 (use-package counsel
   :ensure t
   :demand t
-  :config (progn
-            (global-set-key (kbd "C-c l") 'counsel-locate)
-            (global-set-key (kbd "C-c m") 'counsel-imenu)
-            (global-set-key (kbd "C-c _") 'counsel-git-grep)))
+  :config
+  (global-set-key (kbd "C-c l") 'counsel-locate)
+  (global-set-key (kbd "C-c m") 'counsel-imenu)
+  (global-set-key (kbd "C-c _") 'counsel-git-grep))
 
 ;; Quickly open external terminal
 (use-package terminal-here
   :ensure t
   :demand t
-  :config (progn
-            (global-set-key (kbd "C-x t") #'terminal-here-launch)))
+  :config
+  (global-set-key (kbd "C-x t") #'terminal-here-launch))
 
 ;; swiper
 (use-package swiper
@@ -342,8 +342,8 @@
 ;; tabbing (doesn't really work yet)
 (setq-default tab-width 4)
 (setq-default LateX-indent-level 4)
-(add-hook 'latex-mode-hook (progn
-                             (setq indent-tabs-mode t)))
+(add-hook 'latex-mode-hook
+          (lambda () (setq indent-tabs-mode t)))
 
 ;; Activate line numbers
 (global-linum-mode t)