Fixes PHP error from last merge.