Fix to run on good ol' php