This is a trivial, non-functional, change so should be considered for
4.2, and backported to 4.1 and 4.0 release candidates.

-- 
Andrew Cooper - Dom0 Kernel Engineer, Citrix XenServer
T: +44 (0)1223 225 900, http://www.citrix.com