Accidentally had put code in c.json (for cshell) instead of t.json (tcsh)