Nix formatting
More notes