Unneeded `<div>`?