some HTML additions