Correct formatting in PHP version