Formatting some HTML source