minor fix, compatibility with older php versions.