Changes to make to work with older PHP version