Does `pids` really represent multiple process ids, or should it be called `pid`?