Okeydoeky. Also, I just noticed that stdin == /dev/null already for EXECs.

Cheers