diff --git a/.config/guix/manifests/dev.scm b/.config/guix/manifests/dev.scm
index 36e9705..3a29852 100644
--- a/.config/guix/manifests/dev.scm
+++ b/.config/guix/manifests/dev.scm
@@ -1,5 +1,6 @@
 (specifications->manifest
  '(
+   "leiningen"
    "python-virtualenv"
    "python"
    "php"
@@ -11,9 +12,10 @@
    "lua"
    "gcc-toolchain"
    "go"
-   "openjdk"
+   "openjdk:jdk"
    "node"
    "git-filter-repo"
+   "virt-manager"
    "postgresql"
    "docker-compose"
    "pandoc"
diff --git a/Console.org b/Console.org
index 9dff775..276ce7e 100644
--- a/Console.org
+++ b/Console.org
@@ -7,8 +7,6 @@
 #+PROPERTY: header-args:bash         :tangle-mode (identity #o755) :comments link :shebang "#!/usr/bin/env bash"
 #+OPTIONS: broken-links:auto h:6 toc:nil
 
-#+TOC headlines 6
-
 * Contents                                                         :noexport:
 :PROPERTIES:
 :TOC:      :include all :depth 3
diff --git a/Desktop.org b/Desktop.org
index 47fdfdd..44bc126 100644
--- a/Desktop.org
+++ b/Desktop.org
@@ -17,8 +17,6 @@ Parts prefixed with (OFF) are not used, but kept for historic purposes. For some
 References:
 - [[https://sqrtminusone.xyz/posts/2022-02-12-literate/][A few cases of literate configuration]]. My blog post that explains some of techniques from this file.
 
-#+TOC: headlines 6
-
 * Contents                                                         :noexport:
 :PROPERTIES:
 :TOC:      :include all :depth 3
@@ -3333,7 +3331,7 @@ This section generates manifests for various desktop software that I'm using.
 | office   | ffmpeg          |
 | office   | kdenlive        |
 | office   | inkscape        |
-| office   | evince          |
+| office   | okular          |
 ** LaTeX
 | Category | Guix dependency               |
 |----------+-------------------------------|
@@ -3352,7 +3350,7 @@ This section generates manifests for various desktop software that I'm using.
 | dev      | virt-manager      |          |
 | dev      | git-filter-repo   |          |
 | dev      | node              |          |
-| dev      | openjdk           |          |
+| dev      | openjdk:jdk       |          |
 | dev      | go                |          |
 | dev      | gcc-toolchain     |          |
 | dev      | lua               |          |
@@ -3366,6 +3364,7 @@ This section generates manifests for various desktop software that I'm using.
 | dev      | php               |          |
 | dev      | python            |          |
 | dev      | python-virtualenv |          |
+| dev      | leiningen         |          |
 ** Manifests
 #+NAME: packages
 #+begin_src emacs-lisp :tangle no :var category=""
diff --git a/Mail.org b/Mail.org
index b198ed5..d70cb32 100644
--- a/Mail.org
+++ b/Mail.org
@@ -18,8 +18,6 @@ But I also have an Exchange account, with which I communicate via IMAP/SMTP adap
 References:
 - [[https://sqrtminusone.xyz/posts/2021-02-27-gmail/][My post]] about email configuration. I wrote it some time ago, but the general idea remains.
 
-#+TOC: headlines 6
-
 * Contents                                                         :noexport:
 :PROPERTIES:
 :TOC:      :include all