Restore accidentally removed </div>.