fixed some typos

Please check whether the change in `activation/top-level.nix` does say the correct thing now.