add a much-needed space in the html