This is not our code, this is the context part of the patch. So, hardcoding, yes, but not our fault. ;-)