Fixes #3246: Missing spacing in HTML.