Hotfix that fixes PHP error.