It was already in the HTML, which is nice!