jQuery UI 1.5.2, position property bug

jQuery UI 1.5.2, position property bug


Bug in jQuery UI 1.5.2:
In position property there are line-code with:
    position: function(pos) {
        var wnd = $(window), doc = $(document),
            pTop = doc.scrollTop(), pLeft = doc.scrollLeft(),
            minTop = pTop;
            ...
            }
But it must be something like this to function properly:
    position: function(pos) {
        var wnd = $(window), doc = $(document), body = document.body,
            pTop = (doc && doc.scrollTop || body && body.scrollTop || 0),
            pLeft = (doc && doc.scrollLeft || body && body.scrollLeft || 0),
            minTop = pTop;
            ...
            }