Fixes #9: tolerate multiple PIDs