diff --git a/ocaml/TODO.md b/ocaml/TODO.md
index ec8a483..1be525f 100644
--- a/ocaml/TODO.md
+++ b/ocaml/TODO.md
@@ -1,24 +1,24 @@
 - [ ] Spec requirements integration test coverage
     - [ ] Add log function
-        - [ ] Output begins with ' [log] '
-        - [ ] Only prints if DEBUG is set
+        - [ ] Output begins with ` [log] `
+        - [ ] Only prints if `DEBUG` is set
     - [ ] Add interactive pkg tests (INS v0 B2.5)
-        - [ ] Get su command from $XDG_CONFIG_HOME/tori/tori.conf
-            - [ ] Default to 'su -c'
+        - [ ] Get su command from `$XDG_CONFIG_HOME/tori/tori.conf`
+            - [ ] Default to `su -c`
             - [ ] Validation
-                - [ ] Valid path or in $PATH
+                - [ ] Valid path or in `PATH`
                 - [ ] Executability
-                - [ ] 'true' exits with status 0
+                - [ ] `true` exits with status 0
         - [ ] Add logging
             - [ ] Print each command executed, not just package names
         - [ ] Case with no packages provided
             - [ ] Prints a message
             - [ ] MUST NOT run any system commands
     - [x] Unrecognized command: exit code 1
-    - [x] Command 'user': print the output of 'whoami'
+    - [x] Command `user`: print the output of `whoami`
 
 - [ ] Refactorings
-    - [ ] Simplify and analyze System.File
+    - [ ] Simplify and analyze `System.File`
     - [ ] Simplify Reader
 
 - [ ] Additionals