Small edits to divs

No visible changes, just cleaning up a bit.