Hack to avoid that empty text nodes are removed by the browser