It would be cleaner to make this change using JavaScript after the page is loaded.