diff --git a/home/rachel.nix b/home/rachel.nix
index 852bd06..895b617 100644
--- a/home/rachel.nix
+++ b/home/rachel.nix
@@ -204,9 +204,12 @@ in
         let g:lightline = { 'colorscheme': 'gruvbox' }
         colorscheme gruvbox
         hi Normal guibg=NONE ctermbg=NONE
-        let g:cornelis_agda_prefix = "!"
+
+        let maplocalleader="!"
         runtime agda-input.vim
 
+        inoremap <C-Space> <Esc>
+
         au BufRead,BufNewFile *.agda call AgdaFiletype()
         au BufRead,BufNewFile *.lagda.* call AgdaFiletype()
         function! AgdaFiletype()