Editing some simple HTML