Committing slight updates to processinfo.php