Update formatting.html