Fixed a PHP error I made when fixing those other PHP errors. Whoops.