fix typos in default.nix and add comments