Did you look at how hard it would be to change that?
(I don't remember at all, although I think I looked at it once, which probably makes it hard.)