Some minor tweaks. Most notably: added a missing </div>.