Added HTML semantics