jQuery Grid Plugin - jqGrid

jquery 1.3.1
jqgrid 3.4.3

Hi, I have the following xml:

<?xml version="1.0" encoding="iso-8859-1"?>
<rowset>
<header currentPage="1" pageCount="3" recordCount="30" pageSize="10"/>
  <elenco>... [some nodes]</elenco>
  <elenco>...</elenco>
  ...
</rowset>

and I want to display into the Pager the informations about actual page, total pages and total records.

By the documentation I read I can use the E[foo] notation (http://www.w3.org/TR/CSS2/selector.html) to obtain node's attribute so my xmlReader is:

xmlReader: {
    root: 'rowset',
    row: 'elenco',
    page: 'header[currentPage]',
    total: 'header[pageCount]',
    records: 'header[recordCount]',
    repeatitems: false
}

but the grid displays "undefined".

With FireBug I inspected into the grid.base.js and i saw that textContent property is an empty string while text property is undefined.

Obviously:

<header>
   <currentPage>1</currentPage>
   <pageCount>3</pageCount>
   <recordCount>30</recordCount>
   <pageSize>10</pageSize>
</header>

and

page: 'header>currentPage',
total: 'header>pageCount',
records : 'header>recordCount',

works.

Thanks in advance.