Another file-reading bug

If the input file didn't end with a newline, the last process was being
ignored. Also, added code to handle the case where no processes are
given (we'd proceed blindly forward otherwise).