minor fix (php version)