Compatibility with older PHP