Fix whitespace
Get rid of a signedness warning
Add some support code for nix-repl