fixed formatting.php