jQuery Grid Plugin - jqGrid

Hi, everybody
I'm used jqGrid 4.6.0, jquery-1.11.0.min.js. My browser is FireFox 33.1.
When I create grid with top pager than top pager always has style width on 2px bigger than grid width.
So, in source code I change line number 2854 :
$(grid.topDiv).addClass('ui-state-default ui-jqgrid-toppager').width(grid.width).insertBefore(grid.hDiv);

and replace it with line:
$(grid.topDiv).css({width: grid.width+"px"}).addClass('ui-state-default ui-jqgrid-toppager').insertBefore(grid.hDiv);

When I did it the bug was disappeared. Width of toppager was the same that grid width.
In other browser like Chrome v.33.0.1750.154 this bug don't appear.

If you change this in next release we will be happy.

Sorry for my English.
Thanks for your job.