Mis-named jquery-1.9.1.js file in jquery_update 7.x-2.x-dev (jquery.min.map)?

I've just installed jquery_update 7.x-2.x-dev so I can work with jQuery 1.9.1. Afte rthe install (and the choosing of 1.9 in the jQuery Update config page), I started to get a "page not found" log message on "sites/all/modules/jquery_update/replace/jquery/1.9/jquery-1.9.1.js." My jQuery itself is OK -- jquery.min.js for 1.9 is getting loaded; the only reference to "jquery-1.9.1.js" is in .../1.9/jquery.min.map. I made a copy of 1.9's jquery.js and named it jquery-1.9.1.js, and, not surprisingly, the log messages stopped. Is this in fact a bug in jquery.min.map?