diff --git a/README.md b/README.md
index f0bc709..189bf3b 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # The pub.solar infrastructure
 
-This repository contains all almost all of the configuration for the whole pub.solar infrastructure. Our goal is to have everything, from host configurations to Terraform DNS in this repository.
+This repository contains almost all of the configuration for the whole pub.solar infrastructure. Our goal is to have everything, from host configurations to Terraform DNS in this repository.
 
 The architecture we are working towards is a vast simplification of what it was before: one dedicated Hetzner server running [NixOS](https://nixos.org/) with all services. Offsite backups go to several different locations with [restic](https://github.com/restic/restic).
 
diff --git a/docs/development-shell.md b/docs/development-shell.md
index 5628d57..2b7d6c6 100644
--- a/docs/development-shell.md
+++ b/docs/development-shell.md
@@ -3,9 +3,16 @@
 Clone this repository:
 
 ```
-git clone https://git.pub.solar/pub-solar/infra-new.git
+git clone https://git.pub.solar/pub-solar/infra.git
+cd infra
 ```
 
 then, install [the package manager nix](https://nixos.org/download).
 
-Finally, run `nix develop` in this repo. This will install a development shell that has all required tooling available.
+Finally, run:
+
+```
+nix develop
+```
+
+This will install a development shell (devshell) with all required tools.