diff --git a/panel/README.md b/panel/README.md
index 09c0151c..5dcab93c 100644
--- a/panel/README.md
+++ b/panel/README.md
@@ -4,9 +4,9 @@ The Fediversity Panel is a web service for managing Fediversity deployments with
 
 ## Development
 
-- To obtain all tools related to this project, enter the development environment in the root directory by `nix-shell`, then similar from this directory.
+- To obtain all tools related to this project, enter the development environment with `nix-shell`.
 
-  If you want to do that automatically on entering a directory:
+  If you want to do that automatically on entering this directory:
 
   - [Set up `direnv`](https://github.com/nix-community/nix-direnv#installation)
   - Run `direnv allow` in the directory where repository is stored on your machine
diff --git a/panel/default.nix b/panel/default.nix
index 9da9fef5..09d3c45a 100644
--- a/panel/default.nix
+++ b/panel/default.nix
@@ -21,8 +21,7 @@ in
       pkgs.npins
       manage
 
-      # NixOps4 and its dependencies
-      # FIXME: grab NixOps4 and add it here
+      pkgs.nixops4
       pkgs.nix
       pkgs.openssh
     ];