Did some HTML editing