Fix issue on older PHP versions