I am actually not sure. What would be an elegant solution to that without using `innerHTML`, though?