Fixes PHP warning