fix fizzbuzz.php