Close some HTML tags. Fix #1076