Update formatting.php