Nix fix

Title says it all