Is this `<div>` needed?