I don't think this `<div>` is needed. I'll hack on this next week…