Is this needed? Presumably it's very slightly slower than just using innerHTML