oh—I actually do use terminals a lot—but I wasn’t sure if I should redo it just to be sure. Thanks–I appreciate it!